package hu.ngms.jpf.examples;

public class Const {

	private int a = 1;

	@gov.nasa.jpf.annotation.Const
	public void changeConstant() {
		a = 20;
	}

}
